Quantitative Fault Propagation Analysis for Networked Cyber-Physical Systems
نویسندگان
چکیده
This paper presents an approach to analyzing a model of networked cyber-physical systems for fault propagation. We present an implementation of a probabilistic logic model, which allows for reasoning via symbolic evaluation as well as numeric evaluation to perform a quantitative fault analysis. Our models are built from a few building blocks, which can be instantiated as standard or high integrity; communication paths can be made redundant, and finally, whole subsystem blocks can be replicated. We assume an underlying networking infrastructure of TTEthernet, which allows traffic of time-triggered, rate-constrained, or best-effort modes with different safety features. We apply our approach to a case study of a brake-by-wire system that contains communication flows with different traffic modes according to their
منابع مشابه
Safety Conflict Analysis in Medical Cyber-Physical Systems Using an SMT-Solver
This paper presents a method to include safety system conflicts into a fault tree analysis (FTA) with semantic extensions of fault events. The verification of the incoherent fault tree is done with an SMT-Solver. As an example a networked setup of medical devices for extracorporeal lung assist was analyzed. The method is developed as a basis for improved safety analysis of networked systems.
متن کاملUPBOT: A Testbed for Cyber-Physical Systems
Developing software for cyber-physical systems presents a unique challenge. These systems are not simply software; they are composed of software running on a collection of machines that present a risk to human safety if anything goes wrong. Researchers want to create languages and tools that aid in the development of secure and fault-tolerant software, but they cannot simply “try out” their ide...
متن کاملRoot-cause analysis for time-series anomalies via spatiotemporal causal graphical modeling
Modern distributed cyber-physical systems encounter a large variety of anomalies and in many cases, they are vulnerable to catastrophic fault propagation scenarios due to strong connectivity among the sub-systems. In this regard, root-cause analysis becomes highly intractable due to complex fault propagation mechanisms in combination with diverse operating modes. This paper presents a new data-...
متن کاملDistributed Sampling Storage for Statistical Analysis of Massive Sensor Data
Cyber-physical systems interconnect the cyber world with the physical world in which sensors are massively networked to monitor the physical world. Various services are expected to be able to use sensor data reflecting the physical world with information technology. Given this expectation, it is important to simultaneously provide timely access to massive data and reduce storage costs. We propo...
متن کاملCyber Security for Power Grids
Power grids worldwide are undergoing a revolutionary transition as so-called “smart grids” that exploit renewable energy sources are emerging. As such distributed power generation requires networked control, future power systems will become more exposed to cyber attacks. This paper discusses cyber security challenges for a future power grid. It highlights deficiencies and shortcomings of existi...
متن کامل